大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Total Systems Reliability Symposium (1983 : National Bureau of Standards) 的图书(共8231本)

Transactions on Large-Scale Data- and Knowledge-Centered Systems VI [electronic resource] : Special Issue on Database- and Expert-Systems Applications

0
索取号:
作者:Hameurlain、 Abdelkader.、K眉ng、 Josef.、Wagner、 Roland.、Liddle、 Stephen W.、Schewe、 Klaus-Dieter.、Zhou、 Xiaofang.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Applications of Graph Transformations with Industrial Relevance [electronic resource] : 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers

0
索取号:
作者:Sch眉rr、 Andy.、Varr贸、 D谩niel.、Varr贸、 Gergely.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Advances in Intelligent Data Analysis XI [electronic resource] : 11th International Symposium, IDA 2012, Helsinki, Finland, October 25-27, 2012. Proceedings

0
索取号:
作者:Hollm茅n、 Jaakko.、Klawonn、 Frank.、Tucker、 Allan.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Recent Trends in Computer Networks and Distributed Systems Security [electronic resource] : International Conference, SNDS 2012, Trivandrum, India, October 11-12, 2012. Proceedings

0
索取号:
作者:Thampi、 Sabu M.、Zomaya、 Albert Y.、Strufe、 Thorsten.、Alcaraz Calero、 Jose M.、Thomas、 Tony.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

String Processing and Information Retrieval [electronic resource] : 19th International Symposium, SPIRE 2012, Cartagena de Indias, Colombia, October 21-25, 2012. Proceedings

0
索取号:
作者:Calder贸n-Benavides、 Liliana.、Gonz谩lez-Caro、 Cristina.、Ch谩vez、 Edgar.、Ziviani、 Nivio.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Total Synthesis of Natural Products [electronic resource] : At the Frontiers of Organic Chemistry

0
索取号:
作者:Li、 Jie Jack.、Corey、 E.J.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Large-Scale Complex IT Systems. Development, Operation and Management [electronic resource] : 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers

0
索取号:
作者:Calinescu、 Radu.、Garlan、 David.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Telematics in the Transport Environment [electronic resource] : 12th International Conference on Transport Systems Telematics, TST 2012, Katowice-Ustro艅, Poland, October 10鈥ᳬ 2012. Selected Papers

0
索取号:
作者:Mikulski、 Jerzy.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Data-Driven Process Discovery and Analysis [electronic resource] : First International Symposium, SIMPDA 2011, Campione d鈥橧talia, Italy, June 29 鈥ʵly 1, 2011, Revised Selected Papers

0
索取号:
作者:Aberer、 Karl.、Damiani、 Ernesto.、Dillon、 Tharam.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies [electronic resource] : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

0
索取号:
作者:Margaria、 Tiziana.、Steffen、 Bernhard.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change [electronic resource] : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

0
索取号:
作者:Margaria、 Tiziana.、Steffen、 Bernhard.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Algorithmic Game Theory [electronic resource] : 5th International Symposium, SAGT 2012, Barcelona, Spain, October 22-23, 2012. Proceedings

0
索取号:
作者:Serna、 Maria.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Advances in Production Management Systems. Value Networks: Innovation, Technologies, and Management [electronic resource] : IFIP WG 5.7 International Conference, APMS 2011, Stavanger, Norway, September 26-28, 2011, Revised Selected Papers

0
索取号:
作者:Frick、 Jan.、Laugen、 Bj酶rge Timenes.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Morphogenetic Engineering [electronic resource] : Toward Programmable Complex Systems

0
索取号:
作者:Doursat、 Ren茅.、Sayama、 Hiroki.、Michel、 Olivier.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Communicability, Computer Graphics and Innovative Design for Interactive Systems [electronic resource] : First International Symposium, CCGIDIS 2011, C贸rdoba, Spain, June 28-29, 2011, Revised Selected Papers

0
索取号:
作者:Cipolla-Ficarra、 Francisco.、Veltman、 Kim.、Cipolla-Ficarra、 Miguel.、Kratky、 Andreas.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Artificial Immune Systems [electronic resource] : 11th International Conference, ICARIS 2012, Taormina, Italy, August 28-31, 2012. Proceedings

0
索取号:
作者:Coello Coello、 Carlos A.、Greensmith、 Julie.、Krasnogor、 Natalio.、Li貌、 Pietro.、Nicosia、 Giuseppe.、Pavone、 Mario.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
最近添加的分类